FUN1 uint256 FUN2 1 4 CALL OVERLIMIT
FUN2 void NULL 1 0 NULL NULL
VAR0 FUN1 3 FOR BOOL
